x86: fix map_domain_page() leak from vcpu_destroy_pagetables()
authorJan Beulich <jbeulich@suse.com>
Wed, 13 Feb 2013 08:31:48 +0000 (09:31 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 13 Feb 2013 08:31:48 +0000 (09:31 +0100)
commitb61ed421d2c85b5b106c63f2c14f8aa162b282f0
tree27d3d1ac956c56ea77625a975749151d5465c442
parent3607f64fc6753186209d6f35ef8f49c995b581b5
x86: fix map_domain_page() leak from vcpu_destroy_pagetables()

Introduced by c/s 26450:4816763549e0 and exposed with
26523:fd997a96d448.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/domain.c